
#include <stdio.h>

#include "file2.h"


int main(int argc, char** argv)
{
    int d = file2_launch_kernel(1);
    printf("result is: %d", d);
    return 0;
}
